منابع مشابه
Small Induction Recursion
There are several different approaches to the theory of data types. At the simplest level, polynomials and containers give a theory of data types as free standing entities. At a second level of complexity, dependent polynomials and indexed containers handle more sophisticated data types in which the data have an associated indices which can be used to store important computational information. ...
متن کاملInduction and Recursion on
This Dagstuhl-Seminar has been attended by 35 computer scientists, logicians, and mathematicians from 14 countries and 5 continents. Since the mid-1970's it had become clear that the calculus of relations is a fundamental conceptual and methodological tool in Computer Science just as much as in Mathematics. A number of seemingly distinct areas of research have in fact this much in common that t...
متن کاملIndexed Induction-Recursion
An indexed inductive definition (IID) is a simultaneous inductive definition of an indexed family of sets. An inductive-recursive definition (IRD) is a simultaneous inductive definition of a set and a recursive definition of a function on that set. An indexed inductive-recursive definition (IIRD) is a combination of both. We present a closed theory which allows us to introduce all IIRD in a nat...
متن کاملPrimitive Recursion and the Chain Antichain Principle
Let the chain antichain principle (CAC) be the statement that each partial order on N possesses an infinite chain or an infinite antichain. Chong, Slaman and Yang recently proved using forcing over non-standard models of arithmetic that CAC is Π1-conservative over RCA0 + Π 0 1-CP and so in particular that CAC does not imply Σ2-induction. We provide here a different purely syntactical and constr...
متن کاملEvil Achievements and the Principle of Recursion
This paper looks at the value of achievements by examining the implications of a highly plausible axiological principle, the principle of Recursion, as developed by Thomas Hurka. According to Recursion, the pursuit of a good is itself good, and the pursuit of a bad is bad. I consider three possible ways of understanding how Recursion works, and the implications of these construals for the value...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1983
ISSN: 0304-3975
DOI: 10.1016/0304-3975(83)90142-1